Combining type disciplines
نویسندگان
چکیده
منابع مشابه
Combining Type Disciplines
We present a type inference system for pure -calculus which includes, in addition to arrow types, also universal and existential type quanti ers, intersection and union types, and type recursion. The interest of this system lies in the fact that it o ers a possibility to study in a uni ed framework a wide range of type constructors. We investigate the main syntactical properties of the system, ...
متن کاملType disciplines for systems biology
During the last years Computer Science and Biology are getting closer, helping and inspiring each other: for example, the Human Genome Project (HGP), the scientific research project with the goal of determining the sequence of chemical base pairs which make up DNA, would have been impossible without computer clusters and pattern recognition algorithms. On the other hand, Computer Scientists are...
متن کاملSemantic Orthogonality of Type Disciplines
We consider a version of PCF, and prove, using both syntactic and semantic means, that the op-erational equivalences of the base language are preserved when the language is extended with sum andproduct types, with polymorphic types, and with recursive types. These theorems show that the additionsto the type systems are orthogonal to the original language.
متن کاملCombining full text and bibliometric information in mapping scientific disciplines
In the present study results of an earlier pilot study by Glenisson, Glänzel and Persson are extended on the basis of larger sets of papers. Full text analysis and traditional bibliometric methods are serially combined to improve the efficiency of the two individual methods. The text mining methodology already introduced in the pilot study is applied to the complete publication year 2003 of the...
متن کاملType Disciplines for Analysing Biologically Relevant Properties
The calculus of looping sequences is a formalism for describing evolution of biological systems by means of term rewriting rules. We propose to enrich this calculus with type disciplines to guarantee the soundness of reduction rules with respect to interesting biological properties.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 1994
ISSN: 0168-0072
DOI: 10.1016/0168-0072(94)90034-5